TAGs: ARRT verification